Skip to content

Update ORFS verify installation docker cmd#3674

Merged
vvbandeira merged 3 commits intoThe-OpenROAD-Project:masterfrom
ajay18434:update-docker-cmd
Jan 18, 2026
Merged

Update ORFS verify installation docker cmd#3674
vvbandeira merged 3 commits intoThe-OpenROAD-Project:masterfrom
ajay18434:update-docker-cmd

Conversation

@ajay18434
Copy link
Copy Markdown
Contributor

Fixes #3673

ajay18434 and others added 3 commits November 24, 2025 17:03
Signed-off-by: ajay18434 <ajaykumar27122000@gmail.com>
This reverts commit 4829a18.

Signed-off-by: ajay18434 <ajaykumar27122000@gmail.com>
Signed-off-by: ajay18434 <ajaykumar27122000@gmail.com>
@ajay18434
Copy link
Copy Markdown
Contributor Author

@vvbandeira @maliberty

FYI, this is just document update. need your approval.

Thanks,
Ajay

@vvbandeira vvbandeira enabled auto-merge November 24, 2025 13:55
@maliberty
Copy link
Copy Markdown
Member

@vvbandeira I'm not sure what to make of the pr-head failure in AT

@vvbandeira vvbandeira merged commit bfb45ba into The-OpenROAD-Project:master Jan 18, 2026
7 of 8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

issue with verify installation of docker installation

3 participants